Skip to content

⋮ «Info»: the bundled glpython-editor's version - #42

Merged
cedricvogel-leo merged 1 commit into
mainfrom
feature/info-editor-version
Nov 6, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
feature/info-editor-version

Conversation

@cedricvogel-leo

Copy link
Copy Markdown
Collaborator

P44, item 3: ⋮ → Info shows the glpython-editor version next to the IDE's commit.

  • What it shows: «Version 13fcc23 · Editor v0.1.30 · Erstellt …», as rows of the Info list.
  • Where it comes from: the build reads package.json's glpython-editor spec (…glpython-editor.git#v0.1.30) and compiles the tag in (__GLPYTHON_EDITOR_VERSION__, next to the IDE's commit). If the spec pins a commit instead of a tag (e.g. while a PR waits for a tag), Info shows its first 7 characters.
  • Why: most of what learners see (editor, Tests, visualizer, hints) comes from glpython-editor, so a problem report can name both versions.

Checks

  • test:browser: the ⋮ «Info» case now also checks the editor row against package.json. All 26 checks pass.
  • Lint and build pass.

Going live

Merging deploys the IDE. Nothing else depends on it.

Manual test

On desktop and iPad, ⋮ → Info shows «Editor v0.1.30» between Version and Erstellt.

🤖 Generated with Claude Code

Next to the IDE's commit, Info shows the glpython-editor tag the build
bundles (from package.json, a commit's first 7 characters if it pins
one), since most of what learners see comes from there.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@cedricvogel-leo
cedricvogel-leo merged commit c7978bd into main Nov 6, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant